incr = {x -> x+1};
exp = {x -> {n -> inner 1 x n}};